Remarks on separating words

The separating words problem asks for the size of the smallest DFA needed to distinguish between two words of length <= n (by accepting one and rejecting the other). In this paper we survey what is known and unknown about the problem, consider some variations, and prove several new results

Targeting Conservation Investments in Heterogeneous Landscapes: A distance function approach and application to watershed management

To achieve a given level of an environmental amenity at least cost, decision-makers must integrate information about spatially variable biophysical and economic conditions. Although the biophysical attributes that contribute to supplying an environmental amenity are often known, the way in which these attributes interact to produce the amenity is often unknown. Given the difficulty in converting multiple attributes into a unidimensional physical measure of an environmental amenity (e.g., habitat quality), analyses in the academic literature tend to use a single biophysical attribute as a proxy for the environmental amenity (e.g., species richness). A narrow focus on a single attribute, however, fails to consider the full range of biophysical attributes that are critical to the supply of an environmental amenity. Drawing on the production efficiency literature, we introduce an alternative conservation targeting approach that relies on distance functions to cost-efficiently allocate conservation funds across a spatially heterogeneous landscape. An approach based on distance functions has the advantage of not requiring a parametric specification of the amenity function (or cost function), but rather only requiring that the decision-maker identify important biophysical and economic attributes. We apply the distance-function approach empirically to an increasingly common, but little studied, conservation initiative: conservation contracting for water quality objectives. The contract portfolios derived from the distance-function application have many desirable properties, including intuitive appeal, robust performance across plausible parametric amenity measures, and the generation of ranking measures that can be easily used by field practitioners in complex decision-making environments that cannot be completely modeled. Working Paper # 2002-01

The complexity of clausal fragments of LTL

We introduce and investigate a number of fragments of propositional temporal logic LTL over the flow of time (ℤ, <). The fragments are defined in terms of the available temporal operators and the structure of the clausal normal form of the temporal formulas. We determine the computational complexity of the satisfiability problem for each of the fragments, which ranges from NLogSpace to PTime, NP and PSpace

Chrobak Normal Form Revisited, with Applications

Abstract. It is well known that any nondeterministic finite automata over a unary alphabet can be represented in a certain normal form called the Chrobak normal form [1]. We present a very simple conversion pro-cedure working in O(n3) time. Then we extend the algorithm to improve two trade-offs concerning conversions between different representations of unary regular languages. Given an n-state NFA, we are able to find a regular expression of size O ( n2 logn) describing the same language (which improves the previously known O(n2) size bound [8]) and a context-free grammar in Chomsky normal form with O(√n logn) nonterminals (which improves the previously known O(n2/3) bound [3]). As a byproduct of our conversion procedure, we get an alternative proof of the Chrobak normal form theorem. We believe that its efficiency and simplicity make the effort of reproving an already known result worth-while. Key-words: unary automata, descriptional complexity

Codes of Fair Competition: The National Recovery Act, 1933-1935, and the Women’s Dress Manufacturing Industry

Controversial issues prevalent in today’s ready-to-wear apparel industry include the right of workers to join unions, the proliferation of sweatshops and sweatshop conditions, and design piracy. The idea of forming codes of conduct to establish criteria of ethical business practices is not new to the apparel industry. Indeed, the women’s dress manufacturing industry discussed and debated codes of fair competition under the New Deal Policies of the National Recovery Act (NRA) of 1933 to 1935. Primary sources for this study included governmental hearings in the establishment of the NRA Dress Code, The New York Times, Women’s Wear Daily, and the Journal of the Patent Office Society. The history of the NRA codes implemented in the U.S. women’s ready-to-wear apparel industry provides an important case study highlighting the difficulties and complexities of creating and achieving industry-wide standard practices through self-regulation. The failure of the NRA demonstrates that even with the joint cooperation of industry, labor, and consumer groups and the backing of the force of law, codes of fair competition proved impossible to enforce

Search for a low-mass pseudoscalar Higgs boson produced in association with a bb⁻ pair in pp collisions at √s=8 TeV

A search is reported for a light pseudoscalar Higgs boson decaying to a pair of tau leptons, produced in association with a b (b) over bar pair, in the context of two-Higgs-doublet models. The results are based on pp collision data at a centre-of-mass energy of 8 TeV collected by the CMS experiment at the LHC and corresponding to an integrated luminosity of 19.7 fb(-1). Pseudoscalar boson masses between 25 and 80 GeV are probed. No evidence for a pseudoscalar boson is found and upper limits are set on the product of cross section and branching fraction to tau pairs between 7 and 39 pb at the 95% confidence level. This excludes pseudoscalar A bosons with masses between 25 and 80 GeV, with SM-like Higgs boson negative couplings to down-type fermions, produced in association with bb pairs, in Type II, two-Higgs-doublet models. (C) 2016 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommonnorg/licensesiby/4.01)

Search for single production of scalar leptoquarks in proton-proton collisions at root s=8 TeV

Correction DOI:10.1103/PhysRevD.95.039906Peer reviewe

Search for vectorlike charge 2/3 T quarks in proton-proton collisions at root(s)=8 TeV

Peer reviewe

Search for jet extinction in the inclusive jet-pT spectrum from proton-proton collisions at s=8 TeV

Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.The first search at the LHC for the extinction of QCD jet production is presented, using data collected with the CMS detector corresponding to an integrated luminosity of 10.7  fb−1 of proton-proton collisions at a center-of-mass energy of 8 TeV. The extinction model studied in this analysis is motivated by the search for signatures of strong gravity at the TeV scale (terascale gravity) and assumes the existence of string couplings in the strong-coupling limit. In this limit, the string model predicts the suppression of all high-transverse-momentum standard model processes, including jet production, beyond a certain energy scale. To test this prediction, the measured transverse-momentum spectrum is compared to the theoretical prediction of the standard model. No significant deficit of events is found at high transverse momentum. A 95% confidence level lower limit of 3.3 TeV is set on the extinction mass scale

Search for pair-produced vectorlike B quarks in proton-proton collisions at root s=8 TeV

Peer reviewe